Minimal Spanning Set for Coverage Testing of Interactive Systems
نویسندگان
چکیده
A model-based approach for minimization of test sets for interactive systems is introduced. Test cases are efficiently generated and selected to cover the behavioral model and the complementary fault model of the system under test (SUT). Results known from state-based conformance testing and graph theory are used and extended to construct algorithms for minimizing the test sets, considering also structural features of the SUT.
منابع مشابه
Using Spanning Sets for Coverage Testing
A test coverage criterion defines a set Ec of entities of the program flowgraph and requires that every entity in this set is covered under some test case. Coverage criteria are also used to measure the adequacy of the executed test cases. In this paper, we introduce the notion of spanning sets of entities for coverage testing. A spanning set is a minimum subset of Ec, such that a test suite co...
متن کاملAutomatic Software Test Data Generation for Spanning Sets Coverage Using Genetic Algorithms
Software testing takes a considerable amount of time and resources spent on producing software. Therefore, it would be useful to have ways to reduce the cost of software testing. The new concepts of spanning sets of entities suggested by Marré and Bertolino are useful for reducing the cost of testing. In fact, to reduce the testing effort, the generation of test data can be targeted to cover th...
متن کاملA New Statistical Model for Evaluation Interactive Question Answering Systems Using Regression
The development of computer systems and extensive use of information technology in the everyday life of people have just made it more and more important for them to make quick access to information that has received great importance. Increasing the volume of information makes it difficult to manage or control. Thus, some instruments need to be provided to use this information. The QA system is ...
متن کاملAn Empirical Analysis of China’s International Reserves Demand Function
The study aims to estimate an international reserves demand model for China using economic growth, propensity to import, real effective exchange rate and trade openness variables for quarterly period spanning from 1985Q1 to 2014Q4.The bounds testing technique to cointegration is used to test for a long run relationship, while the autoregressive distributed lag approach is used to estimate short...
متن کاملMinimal solution of fuzzy neutrosophic soft matrix
The aim of this article is to study the concept of unique solvability of max-min fuzzy neutrosophic soft matrix equation and strong regularity of fuzzy neutrosophic soft matrices over Fuzzy Neutrosophic Soft Algebra (FNSA). A Fuzzy Neutrosophic Soft Matrix (FNSM) is said to have Strong, Linear Independent (SLI) column (or, in the case of fuzzy neutrosophic soft square matrices, to be strongly r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004